Towards logical operations research - propositional case
نویسندگان
چکیده
Tautology is interpreted as a necessary condition for the workability of an operations system. This condition suggests the following possibilities: the stable solvability of balance equations between available resources and requests for them; the calculation of potential and kinetic of the system together with the estimation of the contribution of every operation to the kinetic of the system; the construction of a deadlockless in.nite cyclic process for performance of some works. c © 2002 Elsevier Science B.V. All rights reserved.
منابع مشابه
Many-valued logics – implications and semantic consequences
In this paper an application of the well-known matrix method to an extension of the classical logic to many-valued logic is discussed: we consider an n-valued propositional logic as a propositional logic language with a logical matrix over n truth-values. The algebra of the logical matrix has operations expanding the operations of the classical propositional logic. Therefore we look over the Lu...
متن کاملA Dynamic Logic Framework for Abstract Argumentation
We provide a logical analysis of abstract argumentation frameworks and their dynamics. Following previous work by several authors, we express attack relation and argument status by means of propositional variables and define acceptability criteria by formulas of propositional logic. We here study the dynamics of argumentation frameworks in terms of basic operations on these propositional variab...
متن کاملA Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form
REPORTRAPPORT A linear-time transformation of linear inequalities into conjunctive normal form Abstract We present a technique that transforms any binary programming problem with integral coeecients to a satissability problem of propositional logic in linear time. Preliminary computational experience using this transformation, shows that a pure logical solver can be a valuable tool for solving ...
متن کاملOn Successive Approximations To The Choice Problem and Logic
This paper studies the formation of logical operations from pre-logical processes. We are concerned with the reasons for certain mental processes taking form of logical reasoning and the underlying drives for consolidation of logical operations in human mind. Starting from Piaget’s approach to Logic (Piaget, 1956) we discuss whether the evolutionary adaptation can be such a driving force and wh...
متن کاملTowards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
The development of compositional distributional models of semantics reconciling the empirical aspects of distributional semantics with the compositional aspects of formal semantics is a popular topic in the contemporary literature. This paper seeks to bring this reconciliation one step further by showing how the mathematical constructs commonly used in compositional distributional models, such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 113 شماره
صفحات -
تاریخ انتشار 2001